Derivative of cosine rule